61. Parallel processing and applied mathematics :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.

رده :
QA76
.
58

62. Problems and methodologies in mathematical software production; International Seminar held at Sorrento, Italy, November 3-8, 1980

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses

رده :
QA
76
.
6
.
I521
1980

63. Proceedings of the first International Symposium on Impact and Friction of Solids, Structures and Intelligent Machines :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Panagiotopoulos, P. D.,1950-,Panagiotopoulos, P. D.,1950-,Friction, Congresses.,Impact, Congresses.,Friction.,Impact.,SCIENCE-- Nanoscience.

رده :
TA354
.
I565
1998eb

64. Scientific computing in electrical engineering :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Electrical engineering-- Data processing, Congresses.,Engineering mathematics-- Data processing, Congresses.,Computational Science and Engineering.,Computer-Aided Engineering (CAD, CAE) and Design.,Electrical Engineering.,Mathematical Modeling and Industrial Mathematics.,Mathematics.,Simulation and Modeling.,Theoretical, Mathematical and Computational Physics.,Computer modelling & simulation.,Computer-aided design (CAD),Electrical engineering-- Data processing.,Electrical engineering.,Engineering mathematics-- Data processing.,Mathematical modelling.,Mathematical physics.,Maths for scientists.,TECHNOLOGY & ENGINEERING-- Mechanical.

رده :
TK5

65. Security with intelligent computing and big-data services /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence, Congresses.,Big data, Congresses.,Computer security, Congresses.,Artificial intelligence.,Artificial intelligence.,Big data.,Computer security.,Computer security.,COMPUTERS-- Intelligence (AI) & Semantics.

رده :
QA76
.
9
.
A25

66. Smart technologies and innovation for a sustainable future :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science, Congresses.,Mass media, Congresses.,Sustainable development, Congresses.,Technological innovations, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mass media.,Sustainable development.,Technological innovations.

رده :
T173
.
8

67. Sparse grids and applications :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Numerical analysis, Congresses.,Numerical grid generation (Numerical analysis), Congresses.,Sparse matrices, Congresses.,Computer modelling & simulation.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Differential calculus & equations.,Mathematical theory of computation.,Numerical analysis.,Numerical analysis.,Numerical grid generation (Numerical analysis),Sparse matrices.

رده :
QA188

68. Symbolic rewriting technique

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses

رده :
QA267
.
S88
1998

69. Symbolic rewriting technique

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses

رده :
QA267
.
S88
1998

70. Symbolic rewriting technique

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses

رده :
QA267
.
S88
1998

71. Transactions on engineering technologies :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Engineering, Congresses.,Artificial intelligence.,Automatic control engineering.,Data mining.,Engineering.,Life sciences: general issues.,Robotics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.

رده :
TA5

72. Trends and Perspectives in Modern Computational Science.

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.

73. Uncertainty and intelligent information systems /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Expertensystem,Kongress,Uncertainty (Information theory),Unsicherheit

رده :
QA76
.
76
.
E95
I575
2006eb

74. Variable neighborhood search :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Combinatorial optimization-- Data processing, Congresses.,Heuristic algorithms, Congresses.,Combinatorial optimization-- Data processing.,Heuristic algorithms.

رده :
QA402
.
5